BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types?

Source URL: www.brics.dk

• Higher-order functions
• Functional programming
• Lambda calculus
• Type theory
• Map
• Haskell
• AS3
• Type system
• Generic programming
• Computing
• Software engineering
• Declarative programming

BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science

Source URL: www.brics.dk

Government of India DEPARTMENT OF ATOMIC ENERGY (DAE) Bhabha Atomic Research Centre Ph.D. Programme in Basic SciencesBhabha Atomic Research Centre (BARC) invites

Source URL: www.barc.gov.in

• Department of Atomic Energy
• Homi J. Bhabha
• Academia
• Association of Commonwealth Universities
• India
• Homi Bhabha National Institute
• Bhabha Atomic Research Centre

BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for

Source URL: www.brics.dk

• Applied mathematics
• Models of computation
• Model checking
• Fixed-point combinator
• Abstraction
• Predicate
• Abstract interpretation
• Finite-state machine
• Function
• Theoretical computer science
• Mathematics
• Lambda calculus

BRICS Basic Research in Computer Science BRICS RSDavid & M¨oller: From Hierarichcal Timed Automata to U PPAAL

Source URL: www.brics.dk

Terms of Reference - ERA.Net RUS Plus Joint Call RUSSIAN FEDERATION Russian Foundation for Basic Research The following call topics of the joint call are supported by “Funding Institution”:

Source URL: www.eranet-rus.eu

• Stepan Kozhumyaka
• Ukrainian people
• Union of Russian Patriots

BRICS RSBiernacka & Danvy: A Concrete Framework for Environment Machines BRICS Basic Research in Computer Science

Source URL: www.brics.dk

Manuscript Preparation Guidelines for Authors 1. The Potato Journal publishes reviews (by invitation), full length papers, short notes and book reviews (by invitation) on basic and applied research on potato. Manuscripts

Source URL: epubs.icar.org.in

BASIC INCOME STUDIES An International Journal of Basic Income Research Vol. 3, Issue 1 RESEARCH ARTICLE

Source URL: eprints.soas.ac.uk

• Economics
• Social programs
• Economic development
• Public economics
• International relations
• Conditional Cash Transfer
• Welfare
• Aid
• Social protection
• Socioeconomics
• Welfare state
• Development

The Knesset - Research and Information Center PARTY FINANCING AND ELECTIONS FINANCING IN ISRAEL Background Material Prepared at the Request of the Secretary General of the Knesset, Mr. Arie Hahn,

Source URL: knesset.gov.il

• Politics of Israel
• Knesset
• Basic Laws of Israel
• Aharon Barak
• Israeli system of government
• Israeli Central Elections Committee
• Israel
• Politics
• Government of Israel